From: Jasper St. Pierre Date: Fri, 25 May 2012 21:00:32 +0000 (-0400) Subject: shellDBus: Remove now unused DisableExtension/EnableExtension X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~6545 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=12c7cc278d5022000c7358ecdb535ba780107670;p=gnome-shell.git shellDBus: Remove now unused DisableExtension/EnableExtension These methods were initially introduced when I was planning on having an explicit DisableExtension/EnableExtension, instead of hooking up a gsettings notify. This behavior was changed at the last minute, but the methods were kept to avoid having to change the browser-plugin. Consumers of this API should just set the GSettings key directly instead now. https://bugzilla.gnome.org/show_bug.cgi?id=676837 --- diff --git a/js/ui/shellDBus.js b/js/ui/shellDBus.js index 5fd65e12b..0921d7cef 100644 --- a/js/ui/shellDBus.js +++ b/js/ui/shellDBus.js @@ -56,12 +56,6 @@ const GnomeShellIface = - - - - - - @@ -260,20 +254,6 @@ const GnomeShell = new Lang.Class({ return extension.errors; }, - EnableExtension: function(uuid) { - let enabledExtensions = global.settings.get_strv(ExtensionSystem.ENABLED_EXTENSIONS_KEY); - if (enabledExtensions.indexOf(uuid) == -1) - enabledExtensions.push(uuid); - global.settings.set_strv(ExtensionSystem.ENABLED_EXTENSIONS_KEY, enabledExtensions); - }, - - DisableExtension: function(uuid) { - let enabledExtensions = global.settings.get_strv(ExtensionSystem.ENABLED_EXTENSIONS_KEY); - while (enabledExtensions.indexOf(uuid) != -1) - enabledExtensions.splice(enabledExtensions.indexOf(uuid), 1); - global.settings.set_strv(ExtensionSystem.ENABLED_EXTENSIONS_KEY, enabledExtensions); - }, - InstallRemoteExtension: function(uuid, version_tag) { ExtensionSystem.installExtensionFromUUID(uuid, version_tag); },